a => 1